Various four- and three-valued modal propositional logics are studied. The basic systems are modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree entailment. Three-valued extensions of BK and BS4 are considered as well. These logics are introduced semantically by means of relational models with two distinct evaluation relations, one for verification and the other for falsification. Axiom systems are defined and shown to be sound and complete with respect to the relational semantics and with respect to (...) twist structures over modal algebras. Sound and complete tableau calculi are presented as well. Moreover, a number of constructive non-modal logics with strong negation are faithfully embedded into BS4, into its three-valued extension B3S4, or into temporal BS4, BtS4. These logics include David Nelson's three-valued logic N3, the four-valued logic N4 bottom, the connexive logic C, and several extensions of bi-intuitionistic logic by strong negation. (shrink)

While attention to research integrity has been growing over the past decades, the processes of signalling and denouncing cases of research misconduct remain largely unstudied. In this article, we develop a theoretically and empirically informed understanding of the causes and consequences of reporting research misconduct in terms of power relations. We study the reporting process based on a multinational survey at eight European universities. Using qualitative data that witnesses of research misconduct or of questionable research practices provided, we aim to (...) examine actors’ rationales for reporting and not reporting misconduct, how they report it and the perceived consequences of reporting. In particular we study how research seniority, the temporality of work appointments, and gender could impact the likelihood of cases being reported and of reporting leading to constructive organisational changes. Our findings suggest that these aspects of power relations play a role in the reporting of research misconduct. Our analysis contributes to a better understanding of research misconduct in an academic context. Specifically, we elucidate the processes that affect researchers’ ability and willingness to report research misconduct, and the likelihood of universities taking action. Based on our findings, we outline specific propositions that future research can test as well as provide recommendations for policy improvement. (shrink)

Peer review of journal submissions has become one of the most important pillars of quality management in academic publishing. Because of growing concerns with the quality and effectiveness of the system, a host of enthusiastic innovators has proposed and experimented with new procedures and technologies. However, little is known about whether these innovations manage to convince other journal editors. This paper will address open questions regarding the implementation of new review procedures, the occurrence rate of various peer review procedures and (...) their distribution over scientific disciplines or academic publishers, as well as the motivations for editors or publishers to engage in novel review procedures. It shows that in spite of enthusiastic innovation, the adoption of new peer review procedures is in fact very slow, with the exception of text similarity scanners. For now, peer review innovations appear to be restricted to specific niches in academic publishing. Analysing these niches, the article concludes with a reflection on the circumstances in which innovations might be more widely implemented. (shrink)

"Advances in Psychology Research" presents original research results on the leading edge of psychology.

More organizations use AI in the hiring process than ever before, yet the perceived ethicality of such processes seems to be mixed. With such variation in our views of AI in hiring, we need to understand how these perceptions impact the organizations that use it. In two studies, we investigate how ethical perceptions of using AI in hiring are related to perceptions of organizational attractiveness and innovativeness. Our findings indicate that ethical perceptions of using AI in hiring are positively related (...) to perceptions of organizational attractiveness, both directly and indirectly via perceptions of organizational innovativeness, with variations depending on the type of hiring method used. For instance, we find that individuals who consider it ethical for organizations to use AI in ways often considered to be intrusive to privacy, such as analyzing social media content for traits and characteristics, view such organizations as both more innovative and attractive. Our findings trigger a timely discussion about the critical role of ethical perceptions of AI in hiring on organizational attractiveness and innovativeness. (shrink)

BackgroundTriggered by a series of controversies and diversifying expectations of editorial practices, several innovative peer review procedures and supporting technologies have been proposed. However, adoption of these new initiatives seems slow. This raises questions about the wider conditions for peer review change and about the considerations that inform decisions to innovate. We set out to study the structure of commercial publishers’ editorial process, to reveal how the benefits of peer review innovations are understood, and to describe the considerations that inform (...) the implementation of innovations.MethodsWe carried out field visits to the editorial office of two large academic publishers housing the editorial staff of several hundreds of journals, to study their editorial process, and interviewed editors not affiliated with large publishers. Field notes were transcribed and analysed using coding software.ResultsAt the publishers we analysed, the decision-making structure seems to show both clear patterns of hierarchy and layering of the different editorial practices. While information about new initiatives circulates widely, their implementation depends on assessment of stakeholder’s wishes, impact on reputation, efficiency and implementation costs, with final decisions left to managers at the top of the internal hierarchy. Main tensions arise between commercial and substantial arguments. The editorial process is closely connected to commercial practices of creating business value, and the very specific terms in which business value is understood, such as reputation considerations and the urge to increase efficiency. Journals independent of large commercial publishers tend to have less hierarchically structured processes, report more flexibility to implement innovations, and to a greater extent decouple commercial and editorial perspectives.ConclusionOur study demonstrates that peer review innovations are partly to be understood in light of commercial considerations related to reputation, efficiency and implementations costs. These arguments extend beyond previously studied topics in publishing economics, including publishers’ choice for business or publication models and reach into the very heart of the editorial and peer review process. (shrink)

Crowdfunding platforms have revolutionized entrepreneurial finance, with 200 billion dollars expected to be dispersed annually to entrepreneurs and small business owners by 2020. Despite the importance of this growing phenomenon, our knowledge of the dynamics of successful lending-based prosocial crowdfunding and its implications for the business ethics literature remain limited. We use a social responsibility lens to examine whether crowdfunders on a lending-based prosocial platform lend their money based on altruistic or strategic motives. Our results indicate that the dynamics of (...) prosocial lending-based crowdfunding are somewhat consistent with traditional forms of financing. Specifically, despite a prosocial setting in nature, crowdfunders tend to act strategically, positively responding to signals of quality and low risk. Notably, we also find that projects that are high on both financial and social appeal receive the highest average amount of funding. Furthermore, language on the lender’s profile indicating ability to pay is positively related to both funding success and funding amount. Our study contributes to filling the gap in the business ethics literature about the dynamics of lending-based prosocial crowdfunding, and the strategic and altruistic ethical motives that drive lenders in such endeavors. (shrink)

Crowdfunding platforms have revolutionized entrepreneurial finance, with 200 billion dollars expected to be dispersed annually to entrepreneurs and small business owners by 2020. Despite the importance of this growing phenomenon, our knowledge of the dynamics of successful lending-based prosocial crowdfunding and its implications for the business ethics literature remain limited. We use a social responsibility lens to examine whether crowdfunders on a lending-based prosocial platform lend their money based on altruistic or strategic motives. Our results indicate that the dynamics of (...) prosocial lending-based crowdfunding are somewhat consistent with traditional forms of financing. Specifically, despite a prosocial setting in nature, crowdfunders tend to act strategically, positively responding to signals of quality and low risk. Notably, we also find that projects that are high on both financial and social appeal receive the highest average amount of funding. Furthermore, language on the lender’s profile indicating ability to pay is positively related to both funding success and funding amount. Our study contributes to filling the gap in the business ethics literature about the dynamics of lending-based prosocial crowdfunding, and the strategic and altruistic ethical motives that drive lenders in such endeavors. (shrink)

Crowdfunding platforms have revolutionized entrepreneurial finance, with 200 billion dollars expected to be dispersed annually to entrepreneurs and small business owners by 2020. Despite the importance of this growing phenomenon, our knowledge of the dynamics of successful lending-based prosocial crowdfunding and its implications for the business ethics literature remain limited. We use a social responsibility lens to examine whether crowdfunders on a lending-based prosocial platform lend their money based on altruistic or strategic motives. Our results indicate that the dynamics of (...) prosocial lending-based crowdfunding are somewhat consistent with traditional forms of financing. Specifically, despite a prosocial setting in nature, crowdfunders tend to act strategically, positively responding to signals of quality and low risk. Notably, we also find that projects that are high on both financial and social appeal receive the highest average amount of funding. Furthermore, language on the lender’s profile indicating ability to pay is positively related to both funding success and funding amount. Our study contributes to filling the gap in the business ethics literature about the dynamics of lending-based prosocial crowdfunding, and the strategic and altruistic ethical motives that drive lenders in such endeavors. (shrink)

The use of artificial intelligence (AI) in hiring entails vast ethical challenges. As such, using an ethical lens to study this phenomenon is to better understand whether and how AI matters in hiring. In this paper, we examine whether ethical perceptions of using AI in the hiring process influence individuals’ trust in the organizations that use it. Building on the organizational trust model and the unified theory of acceptance and use of technology, we explore whether ethical perceptions are shaped by (...) individual differences in performance expectancy and social influence and how they, in turn, impact organizational trust. We collected primary data from over 300 individuals who were either active job seekers or who had recent hiring experience to capture perceptions across the full range of hiring methods. Our findings indicate that performance expectancy, but not social influence, impacts the ethical perceptions of AI in hiring, which in turn influence organizational trust. Additional analyses indicate that these findings vary depending on the type of hiring methods AI is used for, as well as on whether participants are job seekers or individuals with hiring experience. Our study offers theoretical and practical implications for ethics in HRM and informs policy implementation about when and how to use AI in hiring methods, especially as it pertains to acting ethically and trustworthily. (shrink)

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...) bilattices with conflation. (shrink)

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...) Finally, subdirectly irreducible N4-lattices are described. (shrink)

This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.

The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...) precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics. (shrink)

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure over a (...) modal algebra. (shrink)

In this paper we show that axiomatic extensions of H. Wansing’s connexive logic $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ ) are algebraizable (in the sense of J.W. Blok and D. Pigozzi) with respect to sub-varieties of $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ )-algebras. We develop the structure theory of $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ )-algebras, and we prove their representability in terms of twist-like constructions over implicative lattices (Heyting algebras). As a consequence, we further clarify the relationship between the aforementioned classes. Finally, taking advantage of (...) the above machinery, we provide some preliminary remarks on the lattice of axiomatic extensions of $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ ) as well as on some properties of their equivalent algebraic semantics. (shrink)

The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

The variety of N4? -lattices provides an algebraic semantics for the logic N4?, a version of Nelson 's logic combining paraconsistent strong negation and explosive intuitionistic negation. In this paper we construct the Priestley duality for the category of N4?-lattices and their homomorphisms. The obtained duality naturally extends the Priestley duality for Nelson algebras constructed by R. Cignoli and A. Sendlewski.

The variety of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf N4}^\perp}$$\end{document}-lattices provides an algebraic semantics for the logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf N4}^\perp}$$\end{document}, a version of Nelson’s logic combining paraconsistent strong negation and explosive intuitionistic negation. In this paper we construct the Priestley duality for the category of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf N4}^\perp}$$\end{document}-lattices and their homomorphisms. The obtained duality naturally extends the Priestley duality for Nelson (...) algebras constructed by R. Cignoli and A. Sendlewski. (shrink)

In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics for independence-friendly first-order logic, but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump (...) semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas. (shrink)

The present article contains part of results from my lecture delivered at II Flemish-Polish workshop on Ontological Foundation of Paraconsistency.

Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.

It was shown in the previous work of the author that one can avoid the paradox of minimal logic { ϕ , ¬ ϕ } ¬ ψ defining the negation operator via reduction not a constant of absurdity, but to a unary operator of absurdity. In the present article we study in details what does it mean that negation in a logical system can be represented via an absurdity or contradiction operator. We distinguish different sorts of such presentations. Finally, we (...) consider the possibility to represent the negation via absurdity and contradiction operators in such well known systems of paraconsistent logic as D.Batens's logic CLuN and Sette's logic P 1. (shrink)

It was proved by Odintsov and Pearce that the logic is a deductive base for paraconsistent answer set semantics of logic programs with two kinds of negation. Here we describe the lattice of logics extending, characterise these logics via classes of -models, and prove that none of the proper extensions of is a deductive base for PAS.

On the 28th of October, 2006, Alexander Vladimirovich Kuznetsov, so is his full name, would have turned 80. Although belated, the editorial board of Logic and Logical Philosophy, we, the editors and contributors of the present issue, and other members of the logic community mark this event with the present issue. Most of those who contributed to it knew Kuznetsov in person and/or were influenced by him or by his ideas, which very often resided in somebody else’s papers or became (...) part of a scientific folklore. But, to be sure, there are even more mathematicians and logicians who have been witnesses to his scientific activity and/or have taken advantage of its results. (shrink)

Transplantation continues to push the frontiers of medicine into domains that summon forth troublesome ethical questions. Looming on the frontier today is human facial transplantation. We develop criteria that, we maintain, must be satisfied in order to ethically undertake this as-yet-untried transplant procedure. We draw on the criteria advanced by Dr. Francis Moore in the late 1980s for introducing innovative procedures in transplant surgery. In addition to these we also insist that human face transplantation must meet all the ethical requirements (...) usually applied to health care research. We summarize the achievements of transplant surgery to date, focusing in particular on the safety and efficacy of immunosuppressive medications. We also emphasize the importance of risk/benefit assessments that take into account the physical, aesthetic, psychological, and social dimensions of facial disfiguration, reconstruction, and transplantation. Finally, we maintain that the time has come to move facial transplantation research into the clinical phase. (shrink)

At the end of the Middle Ages, the friar Dominican Peter Schwarz wrote The shield of the Thomists. It is a handly book of philosophy in which he presents the main thesis of thomist school, between them is the theory of active intellect.

Main Response Topics ? Introduction ? Open display and public evaluation ? Publicity versus patient privacy ? Facial tissue donation ? Validity of Louisville Instrument for Risk Acceptance ? Patients' understanding of risk ? Face versus hand transplantation ? Rejection rates/risks ? Patient compliance ? Exit strategy ? Functional recovery ? Societietal implications ? Psychological implications ? Conclusion: Uncertainty likely to persist.